widget-factory: Rename outline radius in css
authorMatthias Clasen <mclasen@redhat.com>
Tue, 22 Dec 2015 21:20:09 +0000 (16:20 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 22 Dec 2015 21:20:09 +0000 (16:20 -0500)
Rename all outline*radius properties to -gtk-outline*radius.

demos/widget-factory/widget-factory.css

index 3830ce5036c4187d50a1c9b35c32550ee8deca60..7f764cac593ce00e13ee63ddc59d6e4e790d684d 100644 (file)
@@ -1,6 +1,6 @@
 .circular-button {
   border-radius: 20px;
-  outline-radius: 20px;
+  -gtk-outline-radius: 20px;
 }
 
 .small-button {